data NothingType = Nothing